Codatatypes in ML

A new data type declaration mechanism of defining codatatypes is introduced to a functional programming language ML. Codatatypes are dual to datatypes for which ML already has a mechanism of defining. Sums and finite lists are defined as datatypes, but their duals, products and infinite lists, could not be defined in ML. This new facility gives ML the missing half of data types and makes ML symmetric. Categorical and domain-theoretic characterization of codatatypes are also given

Gimme The Context: Context-driven automatic semantic annotation with C-PANKOW

Cimiano P, Ladwig G, Staab S. Gimme The Context: Context-driven automatic semantic annotation with C-PANKOW. In: Ellis A, Hagino T, eds. Proceedings of the 14th international conference on World Wide Web, WWW 2005. ACM Press; 2005: 332-341

Interaction and observation, categorically

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.Comment: In Proceedings ICE 2011, arXiv:1108.014

Drug retention rates and relevant risk factors for drug discontinuation due to adverse events in rheumatoid arthritis patients receiving anticytokine therapy with different target molecules

Objective: To compare reasons for discontinuation and drug retention rates per reason among anticytokine therapies, infliximab, etanercept and tocilizumab, and the risk of discontinuation of biological agents due to adverse events (AE) in patients with rheumatoid arthritis (RA). Method: This prospective cohort study included Japanese RA patients who started infliximab (n=412, 636.0 patientyears (PY)), etanercept (n=442, 765.3 PY), or tocilizumab (n=168, 206.5 PY) as the first biological therapy after their enrolment in the Registry of Japanese Rheumatoid Arthritis Patients for Long-term Safety (REAL) database. Drug retention rates were calculated using the Kaplan-Meier method. To compare risks of drug discontinuation due to AE for patients treated with these biological agents, the Cox proportional hazard model was applied. Results: The authors found significant differences among the three therapeutic groups in demography, clinical status, comorbidities and usage of concomitant drugs. Development of AE was the most frequent reason for discontinuation of biological agents in the etanercept and tocilizumab groups, and the second most frequent reason in the infliximab group. Discontinuation due to good control was observed most frequently in the infliximab group. Compared with etanercept, the use of infliximab (HR 1.69; 95% CI 1.14 to 2.51) and tocilizumab (HR 1.98; 95% CI 1.04 to 3.76) was significantly associated with a higher risk of discontinuation of biological agents due to AE. Conclusions: Reasons for discontinuation are significantly different among biological agents. The use of infliximab and tocilizumab was significantly associated with treatment discontinuation due to AE compared with etanercept

Applying CC/PP to User's Environmental Information for Web Service Customization

We explain our framework and experimentation to exchange user's environmental information described in the form of CC/PP and RDF via HTTP Extension Framework. In the next decade, most appliances will have micro Web browser and server. These appliances collect and exchange the various kind of information (e.g. , location, temperature) existing among them. We investigated a new way for describing such kind of information using the framework of CC/PP. We have applied HTTP Extension Framework to exchange their information. This combination will allow us to make web appliances useful without special extension of Web. We have developed two browsers, extended one existing server to ensure the interoperability, and demonstrated effectiveness of our framework. Finally, we present evaluation of our empirical study